Implementing Document Ranking within a Logical Framework

This work deals with the implementation of a logical model of Information Retrieval. Specifically, we present algorithms for document ranking within the Belief Revision framework. Therefore, the logical model that stands on the basis of our proposal can be efficiently implemented within realistic systems. Besides the inherent advantages introduced by logic, the expressiveness is extended with respect to classical systems because documents are represented as unrestricted propositional formulas. As well as representing classical vectors, the model can deal with partial descriptions of documents. Scenarios that can benefit from these more expressive representations are discussed.